Formal and Informal Methods for Multi-Core Design Space Exploration
نویسندگان
چکیده
We propose a tool-supported methodology for design-space exploration for embedded systems. It provides means to define high-level models of applications and multi-processor architectures and evaluate the performance of different deployment (mapping, scheduling) strategies while taking uncertainty into account. We argue that this extension of the scope of formal verification is important for the viability of the domain.
منابع مشابه
Context-aware counter abstraction
The trend towards multi-core computing has made concurrent software an important target of computer-aided verification. Unfortunately, Model Checkers for such software suffer tremendously from combinatorial state space explosion. We show how to apply counter abstraction to real-world concurrent programs to factor out redundancy due to thread replication. The traditional global state representat...
متن کاملDesign Space Exploration for Heterogeneous Multi Multi-Core Processor Dedicated Systems
This work faces the problem of the HW/SW co-design of dedicated systems based on heterogeneous multi multi-core processor architectures. In particular, it proposes an extension of a previous system-level design space exploration (DSE) approach able to suggest to the designer an HW/SW partitioning of the system specification and a mapping of the partitioned entities onto an automatically selecte...
متن کاملMagellan: A Framework for Fast Multi-core Design Space Exploration and Optimization Using Search and Machine Learning
As multi-core processor architectures with tens or even hundreds of cores, not all of them necessarily identical, become common, the current processor design methodology, that relies on large-scale simulations, is not going to scale well because of the number of possibilities to be considered. We need intelligent/efficient techniques to navigate through the processor design space. In this paper...
متن کاملTools for the Governance of Urban Design: The Tehran Experience
This research seeks to reflect the managerial, academic and professional experience of the authors in the design and implementation process of urban design projects, aiming to use the application of the “design governance” model, in order to describe the documents and activities of the Department of Urban Planning and Architecture of Tehran Municipality in the last decade. This paper consists ...
متن کاملThermal Design Space Exploration of 3D Die Stacked Multi-core Processors Using Geospatial-Based Predictive Models
This paper presents novel 2D geospatial-based predictive models for exploring the complex thermal spatial behavior of three-dimensional (3D) die stacked multi-core processors at the early design stage. Unlike other analytical techniques, our predictive models can forecast the location, size and temperature of thermal hotspots. We evaluate the efficiency of using the models for predicting within...
متن کامل